Новая философская энциклопедия - навья-ньяя

Гангеша в «Татгва-чинтамани» после критического рассмотрения отверг 21 известное определение вьяяти («отношения проникновения» терминов умозаключения) и предложил собственные четыре. В школе развивались концепции и других видов логических отношений, в частности отношения контакта (самиога), присущности обладания (самавая) и видового отношения (сварупа-самбандха) — два последние напоминают отношение класса и его элемента в математической логике и предицирование у Аристотеля. Разделом теории отношений навья-найяиков является концепция «парьяпти-самбандха» — отношения, посредством которого число пребывает в целых объектах, а не в частях целого. Эта концепция напоминает представления западной логики о числе как классе классов. Навья-найяики обсуждали и развивали также концепции отсутствия (абхава), спецификаторов-определителей, абстрактных свойств, попарных «обнаруживателей» — «обнаруживаемых» и ограничителей, предложили детализированную теорию определений. Особенности санскрита, позволяющего записывать логические выражения одним термином и затем комбинировать в рассуждении эти термины, позволили логикам навья-ньяи раньше, чем в аристотелевской логике, поставить и решить некоторые проблемы, в частности они понимали истинностно-функциональный характер логических связок «и» и «или» и использовали (хотя и не формулировали его явно) закон де Моргана. В 17 в. навья-найлики отходят от проблем эпистемолсгии и грамматики, сосредоточиваясь на формально-логических проблем.